Horn equational theories and paramodulation

A language of equational programs together with an inference system, based on paramodulation is defined. The semantics of the language is given with respect to least models, least fixpoints and success sets and its soundness and completeness is proven using fixpoint theory. The necessity of the functional reflexive axioms is investigated in detail. Finally, the application of these ideas to term rewriting systems is outlined by discussing directed paramodulation and narrowing.     

Horn meal hydrolysate–chromium complex as a high exhaust chrome tanning agent––pilot scale studies

Acid hydrolysis of horn meal (obtained from raw horns of slaughtered cattle and buffaloes) yields a mixture of water soluble and low molecular weight peptides with average particle size of 3,838 nm (3.84 μm) and mean intensity of 5,243.7 nm (5.24 μm) and mean volume of 6,228.1 nm (6.23 μm). These peptides on reaction with Cr(III) yield a product that exhibits high exhaustion of chromium bath (above 92%) during tanning of hides and skins. To consolidate the results, the process was up-scaled in Central Leather Research Institute (CLRI) pilot plant for commercial trials. This material is applied directly to the pickled pelts at 8% w/w level and then the pelt is converted to wet blues and crust leathers. Control leathers were also processed concurrently using standard chrome tanning salts (8% w/w). Leathers showed the desired level of softness, fullness, shrinkage temperature and physical properties, and are comparable with control ones. Our results have indicated the use of Cr(III)–keratin complex could considerably reduce pollution load of Cr salts in leather processing.     

浅谈FIDIC条款中工程师的权限

概括了国际工程的FIDIC条款中工程师之间的关系,讨论了工程师、工程师代表及其雇员的具体权限,对正确、合理地处理工程所发生的问题具有重要的意义,从而提高企业的经济效益.     

《砌体工程施工质量验收规范》GB50203-2002内容简介

简要介绍国家标准《砌体工程施工质量验收规范》GB5 0 2 0 3 2 0 0 2的主要特点及内容。其中 ,着重介绍强制性条文的内容及与原相关规范、标准变更修改部分的说明     

指数形变幅杆快速设计与谐振特性实验分析

针对超声变幅杆种类多且各项参数计算较复杂和繁琐的问题,运用VB与MATLAB两种软件工具相结合的手段开发了指数形变幅杆参数计算软件;并以SolidWorks为平台,利用VB调用SolidWorks的API函数通过参数驱动实现指数形变幅杆在SolidWorks中自动生成三维模型,从而完成指数形超声变幅杆的快速设计。设计加工了大、中、小截面指数形变幅杆,通过对有限元模态分析结果和锤击法模态实验结果的对比分析,从而验证了设计方法的准确性,为超声变幅杆快速系列化设计提供了参考。     

变幅杆连接工艺对旋转超声加工质量影响的研究

超声旋转加工是一种适用于脆硬材料加工的新技术,它强化了原加工过程,其加工效率随着材料脆性的增大而提高,实现了低耗能的目标。在超声旋转加工中,超声加工工具与变幅杆的连接对超声振动共振频率和超声波加工性能有很大影响。本文在深入研究旋转超声加工基本原理的基础上,分析了旋转超声加工时能量传递系统的关键制件-变幅杆和工具杆对超声加工精度的影响,并对变幅杆和工具杆制造工艺及连接的方法进行了初步研究。     

The mechanisms of suppression and enhancement in comprehension.

The goal of comprehension is to build coherent mental representations or structures. These structures represent clauses, sentences, paragraphs, passages, and other meaningful units. Thus, comprehending a clause requires building a mental structure to represent what that clause is about; comprehending a sentence requires building a mental structure to represent what that sentence is about; comprehending a passage requires building a mental structure to represent what that passage is about. In Gernsbacher (1990), I described a simple framework for understanding how comprehenders build mental structures during comprehension. I call this framework, the Structure Building Framework. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

某BOT项目特许权协议关键要素设计

在分析我国企业在南亚某国进行BOT项目面临主要风险的基础上,按照风险分配和管理框架对特许权协议的关键条款进行了仔细的设计和详尽的分析,并分别列出了最低的、可退让的和应争取的要求,最后对各条款的不同情况进行组合并提出了选择的模型。     

《滑动模板工程技术规范》(GB 50113-2005)内容简介

对新修订的《滑动模板工程技术规范》（GB50113—2005）的编制背景、修订原则及主要修订内容加以介绍,对其中的强制性条文及有关问题作了说明。